Java Pathfinder - PDFSEARCH.IO - Document Search Engine

Java Pathfinder
Results: 36

#	Item
21	Formal Analysis of the Remote Agent Before and After Flight Klaus Havelund1 , Mike Lowry, SeungJoon Park2 , Charles Pecheur2 , John Penix, Willem Visser2 , Jon L. White3 The Automated Software Engineering Group NASA Ames Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2008-08-08 17:05:30 Cross-platform software Model checkers Functional languages Lisp programming language Programming paradigms Promela Model checking Java Pathfinder Common Lisp Computing Software engineering Computer programming
22	JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking Mathieu Nayrolles, Abdelwahab Hamou-Lhadj SBA Research Lab ECE, Concordia University Montréal, Canada Add to Reading List Source URL: users.encs.concordia.ca Language: English - Date: 2015-03-05 22:28:38 Software bug Model checkers Debugging Model checking Software testing Java Pathfinder Exception handling Bug tracking system Crash Computing Software engineering Computer programming
23	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 40, NO. 9, SEPTEMBER 2014 Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English Free software Android Google Chrome OS Java Pathfinder Android software development HTC Evo 4G Smartphones Software Computing
24	Proceedings Template - WORD Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English Android devices Embedded Linux Cross-platform software Java Pathfinder Android Motorola Droid Java Computing Smartphones Software
25	An Overview of the Runtime Verification Tool Java PathExplorer Klaus Havelund Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:12:55 Temporal logic Mathematics Computing Formal methods Linear temporal logic Model checking Runtime verification Java Pathfinder Deadlock Theoretical computer science Concurrency Logic in computer science
26	Int J Software Informatics, Volume 8, Issue), pp. 21–41 International Journal of Software and Informatics, ISSNc °2014 by ISCAS. All rights reserved. Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English - Date: 2014-10-07 04:46:20 Cross-platform software Embedded Linux Computing platforms Java Pathfinder Android Software bug Java Google Code Event Computing Software Smartphones
27	Microsoft Word - PerCom_Camera_Ready Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English Geographic information system Augmented reality Stack Database Java Pathfinder Global Positioning System Inefficiency Technology Reality Military science
28	1 Rapid Property Specification and Checking for Model-Based Formalisms Daniel Balasubramanian, Gabor Pap, Harmon Nine, Gabor Karsai Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2011-04-21 15:55:05 Software Model checkers Software testing Model checking Simulink Java Pathfinder SPIN model checker Constraint automaton Software verification Automata theory Theoretical computer science Computing
29	MODEL CHECKING OF ROBOTIC CONTROL SYSTEMS S. Scherer(1) , F. Lerda(2) , and E. M. Clarke[removed]) Add to Reading List Source URL: www.ri.cmu.edu Language: English - Date: 2008-12-02 20:27:06 Robot software Engineering Applied mathematics Mobile robot Java Pathfinder Formal verification Robotics Software development process Automation Formal methods Model checking Science
30	Program Instrumentation and Trace Analysis Klaus Havelund Allen Goldberg Kestrel Technology NASA Ames Research Center California, USA Add to Reading List Source URL: www.agoldberg.org Language: English - Date: 2008-11-03 13:00:21 Cross-platform software Programming paradigms Java Pathfinder Model checking C Java Algorithm Aspect-oriented programming Abstraction Computing Software engineering Software

UPDATE